Cauchy's mean-value theorem